in the pond there are many koi fish